package fge;

public class InputPortCT extends InputPort {
	/**
	 * CT processes must be given an initial value
	 */
	private String initial_value = "";

	public String getInitial_value() {
		if (this.initial_value.isEmpty()) {
			this.setInitial_value("<initial>");
		}
		return initial_value;
	}

	public void setInitial_value(String initial_value) {
		this.initial_value = initial_value;
	}
}
